1. Automated reasoning: 33 Base research problems
پدیدآورنده : Larry Wos
کتابخانه: Central Library and Information Center of Shahed University (Tehran)
موضوع : Automatic theorem proving,Artificial intelligence,Electronic digital computers- Programming
رده :
QA
،
76
.
9
،.
A96
,
W67
،
1988
2. Automated reasoning: introduction and applications
پدیدآورنده : )by( Larry Wos )et al.(
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : ، Automatic theorem proving,، Artificial intelligence,Programming ، Electronic digital computers
رده :
QA
76
.
9
.
A96
A93
1984
3. Control systems functions and programming approaches
پدیدآورنده : Chorafas, Dimitris N
موضوع : ، Automatic control,، Electronic digital computers
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
4. Digital and sampled-data control systems
پدیدآورنده : Tou, Julius T
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Automatic control,، Electronic digital computers,، Feed-back control systems
رده :
TJ
213
.
T6
5. Digital and sampled-data control systems
پدیدآورنده : / [by] Julius T. Tou
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Automatic control,Electronic digital computers,Feedback control systems
رده :
TJ
213
.
T6
6. Digital and sampled-data control systems
پدیدآورنده : / [by] Julius T. Tou
کتابخانه: Library of Campus2 Colleges of Engineering of Tehran University (Tehran)
موضوع : Automatic control,Electronic digital computers,Feedback control systems
رده :
TJ
213
.
T6
7. Digital and sampled data control systems
پدیدآورنده : Tou, Julius T.
کتابخانه: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
موضوع : ، Automatic control,، Electronic digital computers,، Feedback control systems
رده :
TJ
213
.
T6
8. Digital computer fundamentals
پدیدآورنده : / Thomas C. Bartee
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Electronic digital computers,Automatic digital computers
رده :
TK7885
.
B317
1985
9. Digital & sampled data control systems
پدیدآورنده : TOU,TSU-LIEH
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : AUTOMATIC CONTROL , ELECTRONIC DIGITAL COMPUTERS , FEEDBACK CONTROL SYSTEMS
رده :
TJ
213
.
T6
10. Digitalrechner in technischen Prozesson
پدیدآورنده : Hotes, Helmut.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers,، Automatic Control
رده :
TJ
213
.
H64
11. Electronic data processing in practice: a handbook for users
پدیدآورنده : / M. Becker, R. Haberfellner, G. Liebetrau
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Electronic data processing,Automatic digital computers
رده :
QA76
.
9
.
D6B4
1989
12. Elsevier s dictionary of computers,automatic control & data
پدیدآورنده : CLASON,W E COMP
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-DICTIONARIES , AUTOMATIC CONTROL-DICTIONARIES , ELECTRONIC DATA PROCESSING-DICTIONARIES
رده :
QA
76
.
5
.
E5
13. Functional programming, concurrency, simulation and automated reasoning : international lecture series 1991-1992, McMaster University, Hamilton, Ontario, Canada
پدیدآورنده :
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming-- Congresses,، Functional programming )Computer science(-- Congresses,، Parallel programming )Computer science(-- Congresses,، Automatic theorem proving-- Congresses,، Computer simulation-- Congresses
رده :
QA
76
.
6
.
F853
1993
14. Networks and distributed computation: concepts, tools and algorithms
پدیدآورنده : / M. Raynal
کتابخانه: Central Library, Center of Documentation and Supply of Scientific Resources (East Azarbaijan)
موضوع : Electronic data processing- distributed processing,Automatic digital computers
رده :
QA76
.
9
.
D5R28
1987
15. #Reliability of computer and control systems
پدیدآورنده : #N. Viswanadham, V.V.S. Sarma, M.G. Singh
کتابخانه: Central Library of Esfehan University of Technology (Esfahan)
موضوع : Automatic control- Reliability ،Electronic digital computers- Reliability
رده :
#
TJ
،#.
V57
16. Software for computer control 1982: Proceedings of the Third IFAC/IFIP Symposium, Madrid Spain, 5-8 October 1982
پدیدآورنده : edited by G. Ferrate and E.A. Puente
کتابخانه: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
موضوع : Data processing - Congresses ، Automatic control,Programming -- Congresses ، Electronic digital computers
رده :
TJ
212
.
2
.
I33
1983
